int man_play(void);