Enable O1[DONT MERGE UNTIL VERIFY IT]

This PR fix the problem in  #29.  But need more tests and experiments.