var WRDE_BADCHAR: Int { get }