gdb: wumpus dbg.txt
	gdb -x dbg.txt wumpus
