tested that main properly calls out to libraries