void draw_player(int posx, int posy);