#goal definition int32 order --- #result definition int32[] sequence --- #feedback int32[] sequence