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