extension decls