check            3011 src/dps8/dps8_fnp2.c                     goto check;
check            3055 src/dps8/dps8_fnp2.c                     goto check;
check            3073 src/dps8/dps8_fnp2.c check:;
check             485 src/dps8/uvutil.c                     goto check;
check             520 src/dps8/uvutil.c                     goto check;
check             530 src/dps8/uvutil.c check:;