Missing decont in p6bindassert.