added more specs for get_hex