Code 127 is officially named "delete" but the Teletype label was "rubout". What is the official name of an existing mark?