var AT_RANDOM: Int32 { get }