Document the -O0 and -O1 behaviors.