contract Foo =
    type state = unit
    entrypoint init(): state =
        let _ = ak_AB0xDEF
        ()