C wrapper that is to go around verified x64