ptable.h uses asserts, so include header