In do_unknown()