deprecated_read_register_bytes (0, NULL, DEPRECATED_REGISTER_BYTES);
deprecated_read_register_bytes (0, NULL, deprecated_register_bytes ());
vx_prepare_to_store (void){  /* Fetch all registers, if any of them are not yet fetched.  */  deprecated_read_register_bytes (0, NULL, DEPRECATED_REGISTER_BYTES);}