No ccalls in user code.