val add :
(Ctypes.Uintptr.t ->
Ctypes.Uintptr.t ->
Ctypes.Uintptr.t
Mavkit_risc_v_pvm.Mavkit_risc_v_pvm__c_generated_functions__Api_funcs_desc__Functions.return)
Mavkit_risc_v_pvm.Mavkit_risc_v_pvm__c_generated_functions__Api_funcs_desc__Functions.result