/aexpr-interpretation/.options