*See main for output