conversion is done, since this violates stack discipline. All type checks are done on the fly during byte conversion.