debug messages

Signed-off-by: Vance Miller <vbmiller@cs.unc.edu>