
  PROCEDURE [XREF] stp$obtain_ast_size
    (VAR size: integer);

