@verb #5848:"push_state" this none this rxdo #3135
@program #5848:"push_state" this none this
":push_state(props_to_store, stack_prop_name) => none"
if (!$perm_utils:can_hack())
  return E_PERM
endif
a = {}
for x in (this.(args[1]))
  a = {@a, {x[1], this.(x[1])}}
endfor
this.(args[2]) = {a, @this.(args[2])}
.