spec aptos_framework::util {
    spec from_bytes { // TODO: temporary mockup.
        pragma opaque;
    }
}