Code audit for Concurrency and Core (see #88)