contract C {
    C constant x = C(0x123);
}