diffunity/example at main