spec aptos_framework::transaction_context {
    spec get_script_hash { // TODO: temporary mockup.
        pragma opaque;
    }
}