hole-related crashing input tests/todo/hole-crash1.hs