sO unstructure_dropLeadingTimestamp(S s) {
  ret unstructure(dropLeadingTimestamp(s));
}