const ondrop_setterinfo: JSJitInfo;