ggg double compilation

Compilation of double vag penetrations