hardcore-compilation (135.140)