let append bitarraya bitarrayb =
let new_length = bitarraya.length + bitarrayb.length in
let bitarray = make new_length false in
for i = 0 to bitarraya.length - 1 do
set bitarray i (get bitarraya i)
done;
for i = 0 to bitarrayb.length - 1 do
set bitarray (i + bitarraya.length) (get bitarrayb i)
done;
bitarray