import Base.Primitives
import External.Types
import External.Opaque

def opaque_defs : OpaqueDefs := sorry