last_fault 3848 gc/os_dep.c static char *last_fault; last_fault 3851 gc/os_dep.c if(addr != last_fault) { last_fault 3852 gc/os_dep.c last_fault = addr;