play.c, prettified