enable debug prompt (boogie_si_record_*)
Let's call it bit vector 1.0. Definitely needs more thinking...