PID_CAST         2073 src/dps8/dps8_cpu.c         thread_name, PID_CAST _sir_gettid());
PID_CAST         2076 src/dps8/dps8_cpu.c         PID_CAST _sir_gettid());
PID_CAST          192 src/libsir/src/sirinternal.c         PID_CAST _cfg->state.pid);
PID_CAST          617 src/libsir/src/sirinternal.c                 PID_CAST tid);