inline print_observe_tx