function main (const p : int; const s : int) : list (operation) * int is
  ((nil : list (operation)), s + 1)