spec aptos_framework::account {
    spec create_address { // TODO: temporary mockup.
        pragma opaque;
    }

    spec create_signer { // TODO: temporary mockup.
        pragma opaque;
    }
}