import "utils/pack/u32/unpack128" as unpack128;

def testFive() -> bool {
    u32[4] b = unpack128(5);
    assert(b == [0x00000000, 0x00000000, 0x00000000, 0x00000005]);
    return true;
}

def testZero() -> bool {
    u32[4] b = unpack128(0);
    assert(b == [0x00000000, 0x00000000, 0x00000000, 0x00000000]);
    return true;
}

def testMax() -> bool {
    u32[4] b = unpack128(2**128 - 1);
    assert(b == [0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff]);
    return true;
}

 def main() {
    assert(testFive());
    assert(testMax());
    assert(testZero());
    return;
}
