Untested but finished RPC dispatcher, extended thesis outline