const ondrop_getterinfo: JSJitInfo;