[fork] a safe, concurrent, practical language