Managed to make set_registers not error, which is great. Included changing
{{-1, -1}} to {[-1,-1]}. Reverted header file to INT64 to clarify that
they needed to be exactly 64 bits.