address 0x42 {
module M {
    const C1: u8 = 0;
    const C2: u64 = 0;
    const C3: u128 = 0;
    const C4: bool = false;
    const C5: address = @0x0;
    const C6: vector<u8> = x"0123";
    const C7: vector<u8> = b"abcd";

    fun t1(): u8 { C6 }
    fun t2(): u64 { C7 }
    fun t3(): u128 { C1 }
    fun t4(): bool { C2 }
    fun t5(): address { C3 }
    fun t6(): vector<u8> { C4 }
    fun t7(): vector<u8> { C5 }
}
}