contract Foo {
    bytes32 a = 0x1234;
}