Adding boogie_si_record_{int,obj,ptr} declarations to prelude.