inline insertion operators.