Removed ctf_bool