This line in `dynamic_riscv64.c` is wrong: ``` #define RISCV_HWPROBE_EXT_ZVFBFWMA (1 << 54) ``` (This is an integer overflow.)