Add non-deterministic int function to C-interface