1extern void *f();
2void dmi_scan_machine(void) {
3  char *p = f(), *q;
4  for (q = p; q < p + 10; q++)
5    ;
6}
7