x := true. // x:bool
readint x. // Can't assign an int  to a bool.
print "x = ". print x. printnl. // Type of x?