formatting, more explicit IV and salt types