Add simple push semantics