Syntax error on line 5: Syntax Error in Procedure block.
  procedure LOAD(x: int) modifies x;
