(almost) fully functional call stages