Add synchprobs stubs