just filling in the lib fils to make the spec pass