DebugTut: general programming tips #1