reduce boilerplate by combining these tests
test counts, and a warning test
add missing lib includes
explain why we use an alias here
add ABSTRACT line