var WRDE_BADVAL: Int { get }