;s : E &*