// TODO: use a special ping source for the privileged stuff // so we can monitor it etc static AutoCloseable tempPingPrivileged() { ret tempSetTL_noInit(pingSource_tl(), null); }