Update mario.c