UNDOME: debugging statements