A PDF library extracted from TeX's dvipdfmx