more work on standard library