datatype t = true;