var GLOB_TILDE: Int32 { get }