(^) no finalization for pure functions