Symbol: ef4_farch_register_test