//# publish module 0x42.Hash { native public sha2_256(data: vector): vector; native public sha3_256(data: vector): vector; } //# publish module 0x43.Hash { native public sha2_256(data: vector): vector; } //# publish module 0x44.Hash { native public sha3_256(data: vector): vector; }