exit function

void exit (int returnCode)

Implementation

void exit(int returnCode) {
  io.exit(returnCode);
}