FIXUP: Indentation
store pointerSize as BuiltIn-Type