Convert rarch_eq to C