Integer'Size
Character'Val

----------------------------------------------------

[
	["variable", "Integer"], ["attr-name", "'Size"],
	["variable", "Character"], ["attr-name", "'Val"]
]

----------------------------------------------------

Checks for attributes.