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;