Make it work with -O2