use consistent uint type for argnum