@dybvig requests: would be nice to autogenerate when the output type is * Should be doable and would simplify some common use cases. We will also need to check that there are not extra return values.
