DEFINITION MODULE STchars; (*DEE 2015-15-25/2018-05-28/2022-09-16*)
  CONST

  (* Universal manifest constants. *)
    ENDFILE = -1;
    EOF = ENDFILE;

  (* ASCII character set in decimal. *)
    BACKSPACE = 8;
    TAB = 9;
    NEWLINE = 10;
    FF = 12; (* form feed *)
    BLANK = 32;
    EXCLAM = 33; (* ! *)
    DQUOTE = 34; (* " *)
    SHARP = 35; (* # *)
    HASH = SHARP;
    DOLLAR = 36;
    PERCENT = 37;
    AMPER = 38; (* & *)
    SQUOTE = 39; (* ' *)
    ACUTE = SQUOTE;
    LPAREN = 40; (* ( *)
    RPAREN = 41; (* ) *)
    STAR = 42; (* * *)
    PLUS = 43;
    COMMA = 44;
    MINUS = 45; (* - *)
    DASH = MINUS;
    PERIOD = 46;
    SLASH = 47; (* / *)
    COLON = 58;
    SEMICOL = 59;
    LESS = 60; (* < *)
    EQUALS = 61;
    GREATER = 62; (* > *)
    QUESTION = 63; (* ? *)
    ATSIGN = 64; (* @ *)
    ESCAPE = ATSIGN;
    LBRACK = 91; (* [ *)
    BACKSLASH = 92; (* \ *)
    RBRACK = 93; (* ] *)
    CARET = 94; (* ^ *)
    UNDERLINE = 95;
    GRAVE = 96; (* ` *)
    LETA = 97; (* Lower case... *)
    LETB = 98; LETC = 99; LETD = 100; LETE = 101; LETF = 102; LETG = 103; LETH = 104;
    LETI = 105; LETJ = 106; LETK = 107; LETL = 108; LETM = 109; LETN = 110; LETO = 111;
    LETP = 112; LETQ = 113; LETR = 114; LETS = 115; LETT = 116; LETU = 117; LETV = 118;
    LETW = 119; LETX = 120; LETY = 121; LETZ = 122;
    LBRACE = 123; (* Left brace. *)
    BAR = 124; (* | *)
    PIPE = BAR;
    RBRACE = 125; (* Right brace. *)
    TILDE = 126; (* ~ *)

  TYPE
    character = [-1..127]; (* Byte-sized. ASCII + other stuff. *)

END STchars.