Constant riot_sys::THREAD_EXTRA_STACKSIZE_PRINTF

pub const THREAD_EXTRA_STACKSIZE_PRINTF: u32 = 512;