ブロックプロデューサーがFIFOを使用していることをどのように証明しますか?(できません)