avio: K&R formatting cosmetics