echo '#define _FILE_OFFSET_BITS 64' >>sizeof.c
echo '#define SYSLOG_NAMES 1' >>sizeof.c
echo '#include <stddef.h>' >>sizeof.c
-echo '#include <stdio.h>' >>sizeof.c
echo '#include <sys/types.h>' >>sizeof.c
echo '' >>sizeof.c
echo 'int main(){' >>sizeof.c
sort /tmp/m.type |uniq |awk '
/^(struct|union) __(CODE|ptcb|siginfo|ucontext|sigjmp_buf|double_repr|float_repr)$/ ||
- /^(DIR|FILE|Sg_io_vec)$/ { printf "//" }
+ /^(DIR|FILE|elf_fpxregset_t|struct user_fpxregs_struct|Sg_io_vec)$/ { printf "//" }
{ print "p(" $0 ")" }' >>sizeof.c
echo 'return 0;}' >>sizeof.c