UNDOME: debugging