locate type A at "A.fpp"
locate type G at "G.fpp"
locate constant s at "s.fpp"

state machine M {

  action a: A
  guard g: G
  signal s: string size s

}