undefine_final