#1 #2 #3312 Wumpus now runs on EIS 0.4. Fixed issue with kill.