TYPE int IS SIGNED (32);
TYPE bool IS BOOLEAN { false, true };

TYPE incomp_ptr IS ACCESS;
TYPE rec IS RECORD
  nxt : incomp_ptr;
  val : int;
END RECORD;

TYPE incomp_ptr IS ACCESS rec;

PUBLIC FUNCTION eq (l : incomp_ptr; r : incomp_ptr) RETURN bool
DECLARE
BEGIN
   RETURN bool'(l.ALL.val = r.ALL.val);
END;