/* This file does not even compile yet. It is a starting point to compute
some values in the background. This is why process_trace was split in
/* This file does not even compile yet. It is a starting point to compute
some values in the background. This is why process_trace was split in