// get the size (in bits) of a chuck int
cherr <= "size of chuck int: " <= Machine.intsize() <= "-bit" <= IO.newline();