Implemented tas_cjmp