sync_chk
sync = sync_chk(state, &VIRM);
if (sync_chk(state, &junk) == 0) {
sync = sync_chk(state, &junk);