clean net_write_byte a lot; also tiny ISR things