RUMPUSER_VERSION
if (version != RUMPUSER_VERSION) {
version, RUMPUSER_VERSION);
if (rumpuser_init(RUMPUSER_VERSION, &hyp) != 0) {