add boogie_si_record_int still trying bv