std.sha3("foo")