Echo ok; return 0