main: Return the value from run().