Function point_select_register_kernel 

pub fn point_select_register_kernel(
    registers: [FieldElement2625; 9],
    source: Bits<4>,
) -> FieldElement2625

Select a field operand from the point register file or constant sources.