Push definitions when -O0