double xbt_parse_get_time(const std::string& filename, int lineno, const std::string& string,
const std::string& entity_kind);
double xbt_parse_get_time(const std::string& filename, int lineno, const std::string& string,
const std::string& entity_kind);