a special case for define function; also a few lines for debugging output