let
descr =
"build the why file for the builtin functions\n"
^
"(Not useful for 'normal' users)"