spec examples for static expressions #794