Function point_write_register_kernel 

pub fn point_write_register_kernel(
    registers: [FieldElement2625; 9],
    destination: Bits<4>,
    value: FieldElement2625,
) -> [FieldElement2625; 9]

Write one field result to the selected point register.