402907990c
This reverts commit 7d94074b05a91403dca88fb2f4195174d3f69f29, which works fine with optimistic behavioral RAMs but not real ones.