Now passing decls1.ood