fun _nz(vv) { return vv != 0?ext(64); }