docs: def exit(status=0):
      """
      Terminate the program with the given status code.
      """
      if status == 0:
          lab.io.printf(lab.io.Colours.GREEN, "Done.")
      else:
          lab.io.printf(lab.io.Colours.RED, "Error {0}".format(status))
      sys.exit(status)