spec aptos_framework::code {
    spec request_publish { // TODO: temporary mockup.
        pragma opaque;
    }
}