# See the License for the specific language governing permissions and
# limitations under the License.
-import standard::kernel
+import core::kernel
assert 0b1001 == 0x09
assert 0o715 == 0x1CD
-assert 461 == 0o715
+assert 46_1 == 0o715
assert 0b111001101 == 0o715
-assert 256 == 0x100
-assert 0o400 == 256
+assert 2_56 == 0x100
+assert 0o400 == 2_56
assert 0b1_1100_1101 == 0o715
assert 0b1_1100_1101 == 0x1_CD
+assert 0b1000_1001 == 0x89
+assert 0b1000_1001u8 == 0x89u8
+assert 0o151u8 == 0b0110_1001u8
+assert 0x69u8 == 0o151u8
+assert 12_125 == 0x2F5D
+assert 0o27_535 == 1212_5
+assert 2_55u8 == 0xFFu8