op.c: add assertion