/epoc32/include/libc/machine/ default
drwxr-xr-x [up]
-rw-r--r-- 2009-11-24 13:55 +0000 9 ieeefp.h
-rw-r--r-- 2009-11-24 13:55 +0000 8 types.h