Compilation with two cocks

3037