make: sha512 decl