pragma-value

Used by:   pragma-stmt

References:   signed-number

See also:   pragma.html