py: Abstract no-return attribute for functions a bit.
objfun: Factor out function to report positional args mismatch.