kernel::profile::DatedValue val = profile->event_list.back();
if (val.date_ < 1e-12) {
simgrid::kernel::profile::Profile* prof = new simgrid::kernel::profile::Profile();
kernel::profile::DatedValue val = profile->event_list.back();
if (val.date_ < 1e-12) {
simgrid::kernel::profile::Profile* prof = new simgrid::kernel::profile::Profile();