no need to save and restore for seqexpr