trimmed down standard library