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