a safe, concurrent, practical language