NDBREGS
MPASS(watchnum >= 0 && watchnum < NDBREGS);
for (i = 0; i < NDBREGS; i++) {
for (i = 0; i < NDBREGS && size > 0; i++) {
for (i = 0; i < NDBREGS; i++) {
for (i = 0; i < NDBREGS; i++) {
MPASS(watchnum >= 0 && watchnum < NDBREGS);