/* dynStateTest.c */

#include "dynState.c"


int main() {

  return 0;
}