El tipo predefinido Character se define de este modo en el .