Compilation with two cocks

2411