debugging Gillespie