double time__TimeT__difftime(void* self, void* p0);
val* string__NativeString__to_s_with_length(char* self, long p0);
extern const int COLOR_string_search__String__replace;
val* time__TimeT__to_s(void* self);
double time__TimeT__difftime(void* self, void* p0);
val* string__NativeString__to_s_with_length(char* self, long p0);
extern const int COLOR_string_search__String__replace;
val* time__TimeT__to_s(void* self);