PID_CAST         2057 src/dps8/dps8_cpu.c         thread_name, PID_CAST _sir_gettid());
PID_CAST         2060 src/dps8/dps8_cpu.c         PID_CAST _sir_gettid());
PID_CAST          191 src/libsir/src/sirinternal.c         PID_CAST _cfg->state.pid);
PID_CAST          616 src/libsir/src/sirinternal.c                 PID_CAST tid);