/aexpr-temp/doc/PX17/notes