avoid generating clashing ids when saturating FFI splices