Remove "atexit" effect specification, since it's no longer reserved for our use.