more stdlib details etc