CASTLE (Edmund). See CASTEL.