nitdbg: Added function to print the value of a variable