Decls done