Constant ttspico_sys::PICO_RESET_SOFT

pub const PICO_RESET_SOFT: u32 = 16;