Namely calling `callCleanup` a second time has no side-effect.