library for spec