The functionmain is special.
It returns an integer
error code of the program, where a zero denotes a no-failure run. When main's closing bracket is reached,
the effect is equivalent to (Standard, 3.6.1.5):