Debugging facility for munify