Symbol: rumpuser_getparam