# requests

msg set_serial = 0 {
    serial_lo: u32,
    serial_hi: u32,
}

msg destroy = 1 { }