PID_CAST         2075 src/dps8/dps8_cpu.c         thread_name, PID_CAST _sir_gettid());
PID_CAST         2078 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);