extern void machine_plays();