通過構造的小型形式可證明的DSL到 => bpf 會很酷。
48