#include <stdint.h> uint32_t * broadcast_addresses(void);