a video game of a pinball machine