hardcoded standard library