Delete mario.c