4 ms·Nevertheless, it should be pursued because it also benefits the C code when combined with static analysis.by eschaton 2y agoNevertheless, it should be pursued because it also benefits the C code when combined with static analysis.