Ah, no, it's `num_of_vector_registers`. Better name? _Originally posted by @roversch in https://github.com/mkatliar/blast/pull/32#discussion_r1768418944_