Exporting routes outside the pico_ipv4 module