Compilation with two cocks

2154