exit with a code argument calls exit.exit code, i.e., it uses the
current exit effect to exit with the given message.