- Completed reimplementation of call_prim, ret