Malé formálně prokazatelné DSL konstrukčně na => bpf by bylo v pohodě.
45