3 ms·frequently, yes, if it uses compcert or cakeML or something.by munin 10y agofrequently, yes, if it uses compcert or cakeML or something.