let
time_sum = ref 0.