Streamlined implementation of next->call