error: attribute `kani::stub` takes two path arguments; found 3
error: attribute `kani::stub` takes two path arguments; found argument that is not a path
error: attribute `kani::stub` takes two path arguments; found 1
error: aborting due to 4 previous errors