using uint32_t as return type for get_fattime()