Obs_JWKB_Tunnel debugged