using "./stm32l071.repl"

rng: Miscellaneous.STM32F4_RNG @ sysbus 0x40025000
    ->nvic@29