finally; echo OK in atexit