ATOMIC_SET       2778 gc.c               ATOMIC_SET(finalizing, 0);
ATOMIC_SET       2900 gc.c               ATOMIC_SET(finalizing, 0);
ATOMIC_SET        527 random.c       	    ATOMIC_SET(try_syscall, 0);