syncshadowscan
syncshadowscan(1); /* force synchronization */
syncshadowscan(0);
syncshadowscan(0);
syncshadowscan(0);
static void syncshadowscan(int);
syncshadowscan(0);