CPU: 13th Gen Intel(R) Core(TM) i7-13700HX

```
CPU: 13th Gen Intel(R) Core(TM) i7-13700HX
Cores: 16
Freq: 800.000 MHz
Ram: 62Gi
Disk:
OS: Linux 6.8.0-52-generic
Cc: gcc (Ubuntu 12.3.0-17ubuntu1) 12.3.0
86.956 seconds: ./build_all.sh CC=gcc
25.934 seconds: ./koch temp -d:release --cc:gcc
```