anchor.diff:       "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
        "\x03\x14\x02\x00\x14\x14\x14\x00\x02\x02\x14\x10\x00\x10\x10\x14"
        "\x18\x18\x18\x18\x18\x18\x18\x18\x18\x18\x14\x02\x14\x14\x14\x14"
  -     "\x14\x14\x14\x14\x34\x34\x34\x14\x14\x14\x14\x14\x34\x14\x14\x14"
  -     "\x14\x14\x14\x34\x14\x14\x14\x14\x14\x14\x14\x02\x00\x02\x14\x14"
  -     "\x00\x14\x14\x14\x34\x34\x34\x14\x14\x14\x14\x14\x34\x14\x14\x14"
  -     "\x14\x14\x14\x34\x14\x14\x14\x14\x14\x14\x14\x00\x00\x00\x14\x00"
  +     "\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14"
  +     "\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x02\x00\x02\x14\x14"
  +     "\x00\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14"
  +     "\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x14\x00\x00\x00\x14\x00"
        "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
        "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
        "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
  
positive.code: char_is_initial(Ch) -> char_is_type(Ch, 16#04).
  char_is_numeric(Ch) -> char_is_type(Ch, 16#08).
  char_is_subsequent(Ch) -> char_is_type(Ch, 16#10).
  char_is_exponent(Ch) -> char_is_type(Ch, 16#20).
  char_is_eof(Ch) -> Ch =:= -1.
  
  char_value(Ch) ->
  
negative.code: 	 char_is_initial/1,	% [-1, 255] -> true | false
  	 char_is_numeric/1,	% [-1, 255] -> true | false
  	 char_is_subsequent/1,	% [-1, 255] -> true | false
  	 char_is_eof/1,		% [-1, 255] -> true | false
  	 char_value/1]).	% [-1, 255] -> [0-15, 255]
  
  