v = _bt_piecewise_lshift(v, 64 - integer_declaration->len);
for (bitnr = 0; bitnr < integer_declaration->len; bitnr++) {
fprintf(pos->fp, "%u", (v & (1ULL << 63)) ? 1 : 0);
v = _bt_piecewise_lshift(v, 64 - integer_declaration->len);
for (bitnr = 0; bitnr < integer_declaration->len; bitnr++) {
fprintf(pos->fp, "%u", (v & (1ULL << 63)) ? 1 : 0);