let at_exit_once x = implem.at_exit_once x