/* this runs txed */

address COMMAND "runwsh sys:e"