added ia32_util.[ch]