fetchSDW 3200 src/dps8/dps8_sys.c sdw0_s *s = fetchSDW(segno); fetchSDW 4613 src/dps8/dps8_sys.c sdw0_s *s = fetchSDW ((word15) segno);