let help = ("[show_def] "
^"highlight the statements that define the value of D at L,\n\t"
^"and print a message if a part of D might be undefined.\n\t"
^"Notice that 'undefined' only means here "
^"not defined on some path from the beginning of the function.")