communication with Z3 working