const action_setterinfo: JSJitInfo;