times <- system.time(parse(filename))
list(quote(`:compilation-result`), list(), TRUE, times[3], substitute(loadp), filename)
}
times <- system.time(parse(filename))
list(quote(`:compilation-result`), list(), TRUE, times[3], substitute(loadp), filename)
}