src/tests/rump/rumpkern/h_server