provide a version
opaque
comment asserts