Inserted debugging statements