FuncTion is a research prototype static analyzer, which is able to infer piecewise-defined ranking functions for programs written in a C-like language. To avoid flooding the servers, the analyzer rejects programs that are too large or feature too many variables, and timeouts after a few seconds.