• dostime_t : dostime.h
• os_stat_t : zipios-config.hpp