[quote [do] unquote push swap push do] [dip] def