variable_type

variable_type 
      ::= type_spec