var RHF_NOTPOT: Int32 { get }