ch7: workable in x86_32

Same modification as in ch6.