#include <stdint.h>

int net_listen4(uint32_t, uint16_t, int);