and then used by this function: <https://github.com/efabless/caravel_board/blob/main/firmware_vex/nu...