Avalon write master -- works except for one little problem

Lava generates multiple waitrequest inputs.  The question is whether
this is because the code is written incorrectly or a bug in Lava.