Add implementation of ws_processor_jump()