Mario in Real Time