Add aliases pushf & push-f