Bar(); echo "OK\n"; }