refinement: proc call code.