Currently, functions are required to always have at least one return value. In practice, this is not strictly necessary.