These actually convey a concrete type, as well as also providing a symbolic constant during debugging.