times_twice_pointer_size 4252 src/ia32/code-stubs-ia32.cc                         times_twice_pointer_size,
times_twice_pointer_size 4278 src/ia32/code-stubs-ia32.cc                       times_twice_pointer_size,
times_twice_pointer_size 4287 src/ia32/code-stubs-ia32.cc                       times_twice_pointer_size,