Replace Integer_1_Unsigned'size with Byte'size seriously this time