[polyml] Post-RTS and nonblocking socket functions