Clarify the consequences of using System.at_exit