Loving the amaranth playground! Although it seems waveforms for this simple example amaranth aren't showing up in the playground: https://amaranth-lang.org/play/#eyJhdiI6InYwLjQuMiIsInMiOiJmcm9tIGFtYXJhbnRoIGltcG9ydCAqXG5mcm9tIGFtYXJhbnRoLnNpbSBpbXBvcnQgU2ltdWxhdG9yLCBUaWNrXG5mcm9tIGFtYXJhbnRoLmJhY2sgaW1wb3J0IHJ0bGlsLCB2ZXJpbG9nXG5pbXBvcnQgYW1hcmFudGhfcGxheWdyb3VuZFxuXG5cbmVuID0gU2lnbmFsKClcbmNvdW50ID0gU2lnbmFsKDQpXG5tID0gTW9kdWxlKClcbndpdGggbS5JZihlbik6XG4gICAgbS5kLnN5bmMgKz0gY291bnQuZXEoY291bnQgKyAxKVxubS5kLmNvbWIgKz0gZW4uZXEoY291bnQgPCA1KVxuXG5vbmVfaG90ID0gU2lnbmFsKDIqKihsZW4oY291bnQpKSlcblxud2l0aCBtLkZTTSgpIGFzIGZzbTpcbiAgICB3aXRoIG0uU3RhdGUoXCJJRExFXCIpOlxuICAgICAgICBtLmQuc3luYyArPSBvbmVfaG90LmVxKDEpXG4gICAgICAgIHdpdGggbS5JZihjb3VudCA+IDQpOlxuICAgICAgICAgICAgbS5uZXh0ID0gXCJTSElGVFwiXG4gICAgd2l0aCBtLlN0YXRlKFwiU0hJRlRcIik6XG4gICAgICAgIG0uZC5zeW5jICs9IG9uZV9ob3QuZXEob25lX2hvdCA8PCAxKVxuICAgICAgICB3aXRoIG0uSWYob25lX2hvdFstMV0pOlxuICAgICAgICAgICAgbS5kLnN5bmMgKz0gb25lX2hvdC5lcSgxKVxuICAgICAgICAgICAgbS5uZXh0ID0gXCJJRExFXCJcblxuZGVmIHRlc3RiZW5jaCgpOlxuICAgIGZvciBfIGluIHJhbmdlKDE1KTpcbiAgICAgICAgeWllbGQgVGljayhcInN5bmNcIilcbiAgICAgICAgcHJpbnQoZlwiY291bnQ6ICAge3lpZWxkIGNvdW50fVwiKVxuICAgICAgICBwcmludChmXCJvbmVfaG90OiB7eWllbGQgb25lX2hvdH1cIilcblxuc2ltID0gU2ltdWxhdG9yKG0pXG5zaW0uYWRkX2Nsb2NrKDFlLTYpXG5zaW0uYWRkX3Byb2Nlc3ModGVzdGJlbmNoKVxud2l0aCBhbWFyYW50aF9wbGF5Z3JvdW5kLnNob3dfd2F2ZWZvcm1zKHNpbSk6XG4gICAgc2ltLnJ1bigpXG5cbmFtYXJhbnRoX3BsYXlncm91bmQuc2hvd192ZXJpbG9nKHZlcmlsb2cuY29udmVydChtLCBwb3J0cz1bY291bnQsIGVuLCBvbmVfaG90XSkpXG5hbWFyYW50aF9wbGF5Z3JvdW5kLnNob3dfcnRsaWwocnRsaWwuY29udmVydChtLCBwb3J0cz1bY291bnQsIGVuLCBvbmVfaG90XSkpXG4ifQ==