SuperTux Receipt.