case RequestSender.GENERATED_REJECTED_OVERLOAD:
case RequestSender.TIMED_OUT:
case RequestSender.INTERNAL_ERROR:
Message reject = DMT.createFNPRejectedOverload(uid, true);
<BUG>source.sendAsync(reject, null, 0, null);
return;</BUG>
case RequestSender.ROUTE_NOT_FOUND:
Message rnf = DMT.createFNPRouteNotFound(uid, rs.getHTL());
<BUG>source.sendAsync(rnf, null, 0, null);
return;</BUG>
case RequestSender.SUCCESS:

case RequestSender.GENERATED_REJECTED_OVERLOAD:
case RequestSender.TIMED_OUT:
case RequestSender.INTERNAL_ERROR:
Message reject = DMT.createFNPRejectedOverload(uid, true);
source.send(reject, this);
return;
case RequestSender.ROUTE_NOT_FOUND:
Message rnf = DMT.createFNPRouteNotFound(uid, rs.getHTL());
source.send(rnf, this);
return;
case RequestSender.SUCCESS:
