Sourceval string : int T.const Sourceval integer : int T.const Sourceval number : int T.const Sourceval atomic : int T.const Sourceval variable : int T.const Sourceval write_canonical : int T.const Sourceval writeq : int T.const Sourceval exception_ : int T.const Sourceval discardable : int T.const Sourceval malloc : int T.const