fork of dart's sdk lib