Attributes . Alloy C22 . Names