Criado função serialize_hwspec()