// Test a trivial PascaLIGO procedure

procedure main (const i : int) : int is
  begin
    skip
  end with i