We want this under -O3 instead.