pos_spec ::=
042; [+integer] } [{ : | - } end] )