module main

type Value = int | i64 | u64 | string | []u8

fn d(val Value) string {
    match val {
        int, i64, u64, []u8 {
            s := sizeof(val)
            x := val
            return 'Value is number or byte array, size=${s} ${x}'
        }
        string {
            x := val
            return 'Value is string: ${x}'
        }
    }
}

fn test_main() {
    assert d(Value(0)) == $if new_int ? && x64 {
        'Value is number or byte array, size=8 0'
    } $else {
        'Value is number or byte array, size=4 0'
    }
    assert d(Value(i64(1))) == 'Value is number or byte array, size=8 1'
    assert d(Value(u64(2))) == 'Value is number or byte array, size=8 2'
    assert d(Value([u8(1), 2])) == $if new_int ? && x64 {
        'Value is number or byte array, size=48 [1, 2]'
    } $else {
        'Value is number or byte array, size=32 [1, 2]'
    }
    assert d(Value('')) == 'Value is string: '
}