import ("libpm3common")
import ("m3shore")

interface("PageTableEntry")
transientTable("Page","Integer","PageTableEntry")
implementation ("Transaction")
implementation ("Database")
Library("pm3shore")
