void signal_post(uint8_t sig) {
    /* no meaningful way here to handle the result */
    writesocket(signal_pipe[1], (char *)&sig, 1);
}
void signal_post(uint8_t sig) {
     
    writesocket(signal_pipe[1], (char *)&sig, 1);
}