12345678# eukhe: the proof of LAW replace_ping_pong_example import Baseimport ../../laws/replace.bend as Replace def Replace.replace_ping_pong_example(): {==}
