(sub {... magic(...) ... )->(args)