var AT_PHNUM: Int32 { get }