Eine kleine formal nachweisbare DSL, die durch Konstruktion zu => bpf führen würde, wäre cool.
44