# eukhe: the proof of LAW scan_example

import Base
import ../../laws/listing.bend as Listing

def Listing.scan_example():
  {==}