test exprs for 002-004