import java.text.*;

static SimpleDateFormat simpleDateFormat_local(S format) {
  SimpleDateFormat sdf = new SimpleDateFormat(format);
  sdf.setTimeZone(localTimeZone());
  ret sdf;
}