tm.tm_hour tm.tm_min tm.tm_sec
(if localtime then "" else " UTC")
+let string_startswith str prefix =
+ let len = String.length str in
+ let plen = String.length prefix in
+ len >= plen && String.sub str 0 plen = prefix
+
let string_endswith str suffix =
let len = String.length str in
let slen = String.length suffix in