// @BAKE gcc $@ -o $*.out
signed main() {
    return 17;
}