@section System names: device
@code{SYSIN}, @code{SYSIPT}, @code{STDIN}, @code{SYSOUT}, @code{SYSLIST}, @code{SYSLST}, @code{SYSPCH}, @code{SYSPUNCH}, @code{STDOUT}, @code{PRINT}, @code{PRINTER}, @code{PRINTER-1}, @code{SYSERR}, @code{STDERR}, @code{CONSOLE}, @code{ALTERNATE-CONSOLE}, @code{ALTERNATE CONSOLE}

@section System names: feature
@code{C01}, @code{C02}, @code{C03}, @code{C04}, @code{C05}, @code{C06}, @code{C07}, @code{C08}, @code{C09}, @code{C10}, @code{C11}, @code{C12}, @code{S01}, @code{S02}, @code{S03}, @code{S04}, @code{S05}, @code{CSP}, @code{FORMFEED}, @code{TOP}, @code{CALL-CONVENTION}

@section System names: switch
@code{SWITCH-0}, @code{SWITCH-1}, @code{SWITCH-2}, @code{SWITCH-3}, @code{SWITCH-4}, @code{SWITCH-5}, @code{SWITCH-6}, @code{SWITCH-7}, @code{SWITCH-8}, @code{SWITCH-9}, @code{SWITCH-10}, @code{SWITCH-11}, @code{SWITCH-12}, @code{SWITCH-13}, @code{SWITCH-14}, @code{SWITCH-15}, @code{SWITCH-16}, @code{SWITCH-17}, @code{SWITCH-18}, @code{SWITCH-19}, @code{SWITCH-20}, @code{SWITCH-21}, @code{SWITCH-22}, @code{SWITCH-23}, @code{SWITCH-24}, @code{SWITCH-25}, @code{SWITCH-26}, @code{SWITCH-27}, @code{SWITCH-28}, @code{SWITCH-29}, @code{SWITCH-30}, @code{SWITCH-31}, @code{SWITCH-32}, @code{SWITCH-33}, @code{SWITCH-34}, @code{SWITCH-35}, @code{SWITCH-36}

