add def-let debugging macro & test it