a toy program for dbg