internal Time parseTime(string s, bool check) { try { parse(s); return new Time(hour, min, sec, ns); } catch (Exception) {} if (check) throw ParseErr.make("Time", s).val; return null; }