Just read the docs in the intended order and on the second page you will find an actual example: https://www.blech-lang.org/blog/2020/06/15/decoding-the-dcf77-s

Just read the docs in the intended order and on the second page you will find an actual example: https://www.blech-lang.org/blog/2020/06/15/decoding-the-dcf77-signal-with-blech/ https://www.blech-lang.org/blog/2020/06/15/decoding-the-dcf7... It contains some real world, which is what embedded is all about.