var SYMINFO_NUM: Int32 { get }