-O3: there is no difference from -O to -O3, callcc still fails