function main(const parameter: unit; const storage: unit): (list(operation) * unit) is
    block { skip } with ((nil : list(operation)), unit)