First pass at p6bindassert.