/; main [int]
    return 0
;/