more fine tuning in left_64() and right_64() (to run the regression test)