Time DEFINITIONS IMPLICIT TAGS ::=
BEGIN
EXPORTS;

Pstr ::= PrintableString

END