tailcalled comments on Systems that cannot be unsafe cannot be safe