alleg_src/src/FedSrv