seat.c outputs the 'proper' format