PROLOG_STATE

type PROLOG_STATE = record

  handler: function(

  state: PROLOG_STATE_ptr;

  tok: int;

  ptr: char_ptr;

  end_: char_ptr;

  enc: ENCODING_ptr

):int;

  level: unsigned;

  role_none: int;

end;