!--a11y-->
timestamp_spec
<
timestamp_spec
> ::=
TIMESTAMP <
standard_timestamp_mask
>
| TIMESTAMP '<
free_mask_timestamp
>'