Just one minor detail. Why not `<cassert>`?