code: String getFunctionName(int funcID) {
        if (funcID < NUM_BUILT_IN_FUNCS) return m_functions[funcID].getName();
        else return m_functions_customer[funcID - NUM_BUILT_IN_FUNCS].getName();
    }
docs: Return the name of the a function in the static table. Needed to avoid
  making the table publicly available.