extended_value_spec

<extended_value_spec> ::=
  DEFAULT
| STAMP
| <value_spec>