Set ODR_MAX_STACK to 2000 instead of 10000. It seems that 10000 causes