Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Now 'int f(int x) { return x < 0 ? -x : x; }' can be translated.