nested receive seems to work