Some decls that I forgot to commit