fno-aliasing is needed...