/aexpr-ticking/.options