var TH_PUSH: Int32 { get }