ex12: libraries, require, and include