spec: try frozen keys and values