_ASSERT           450 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (_pra + ((1 + 0) + (0 + 0))) <= _praEnd);
_ASSERT           451 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, _pra[0].buf.nLen >= 32);
_ASSERT           471 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (_pra + ((1 + 0) + (0 + 0))) <= _praEnd);
_ASSERT           472 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, _pra[0].buf.nLen >= 4);
_ASSERT           487 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (_pra + ((0 + 1) + (0 + 0))) <= _praEnd);
_ASSERT           489 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, _pra[(_numIn[0] + 0)].buf.nLen >= 8);
_ASSERT           509 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (_pra + ((1 + 2) + (0 + 0))) <= _praEnd);
_ASSERT           511 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, _pra[0].buf.nLen >= 4);
_ASSERT           513 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, _pra[(_numIn[0] + 1)].buf.nLen >= 4);
_ASSERT           518 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (int)((_praROut[0].buf.nLen / 1)) >= (int)(_rout0Len[0]));
_ASSERT           550 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (int)((_praIn[0].buf.nLen / 1)) >= (int)(_in0Len[0]));
_ASSERT           566 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (int)((_praROut[0].buf.nLen / 1)) >= (int)(_rout0Len[0]));
_ASSERT           601 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (_pra + ((4 + 0) + (0 + 0))) <= _praEnd);
_ASSERT           603 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, _pra[0].buf.nLen >= 20);
_ASSERT           612 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (int)((_praIn[0].buf.nLen / 4)) >= (int)(_in2Len[0]));
_ASSERT           619 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (int)((_praIn[1].buf.nLen / 4)) >= (int)(_rout3Len[0]));
_ASSERT           626 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (int)((_praIn[2].buf.nLen / 4)) >= (int)(_in4Len[0]));
_ASSERT           653 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (_pra + ((0 + 0) + (0 + 0))) <= _praEnd);
_ASSERT           670 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (_pra + ((2 + 1) + (0 + 0))) <= _praEnd);
_ASSERT           672 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, _pra[0].buf.nLen >= 8);
_ASSERT           674 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, _pra[(_numIn[0] + 1)].buf.nLen >= 4);
_ASSERT           679 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (int)((_praIn[0].buf.nLen / 1)) >= (int)(_in1Len[0]));
_ASSERT           697 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (_pra + ((2 + 1) + (0 + 0))) <= _praEnd);
_ASSERT           699 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, _pra[0].buf.nLen >= 4);
_ASSERT           701 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, _pra[(_numIn[0] + 1)].buf.nLen >= 4);
_ASSERT           705 src/runtime/hexagon_remote/bin/src/halide_hexagon_remote_skel.c    _ASSERT(_nErr, (int)((_praIn[0].buf.nLen / 1)) >= (int)(_in0Len[0]));