let
tx = ref 0.