pub fn build_output( report: &mut Report, ast: &AstTopLevel, decls: &ItemDecls, defs: &ItemDefs, ) -> Result<BitVec, ()>