Symbol: ef4_farch_test_registers