Port document to use assert calls