# This is a type with some constants and assertions

uint8 A = 37
uint16 B = 9 / 2 * 4
uint16 C = A * B

bool D = C == 666
bool E = "yay" == "yay"
@assert ' ' == 0x20
@assert ' ' == 0o40
@assert 1/3 == 1 || "aaa" == "aaa"

@assert {1, 2} < {1, 2, 3}
@assert {1} < {1, 2}
@assert {1} <= {1}

@print {1, 2}.count
@print {1, 2}.min
@print {1, 2}.max

@print {{1, 2}, {1, 2, 3}}.max

@print {'a', 'b', 'c'}.max

@assert "oh,\u0020hi\U0000000aMark" == 'oh, hi\nMark'

@print "oh,\u0020hi\U0000000aMark"

@assert "j" + 3 == 109

@assert float16._bit_length_ == {16}
@assert float32._bit_length_ == {32}
@assert float64._bit_length_ == {64}

@assert int9[7]._bit_length_ == {63}
@assert int9[<=7]._bit_length_ == {0, 9, 18, 27, 36, 45, 54, 63}

@assert {35, "d", 122} == {35, 100, 122}

@sealed