package com.acme.syntax;

import church.lang.ByteStream;
import church.lang.operators.Streams.$$encode;
import church.primitives.Objects;

import static church.lang.operators.Streams.output;

@SuppressWarnings("unchecked")
public class NoCurlies {
    private static final $$encode<ByteStream, String> $S0 = Objects::$encode;

    public static int foo(int x) {
        return (x + 1);
    }

    public static void main(String[] args) {
        int l = args.length;
        if ((l < 2)) {
            String s1 = "Not enough arguments!";
            $S0.$encode($S0.$encode(output, s1), "\n");
        } else {
            String a0 = args[0];
            String a1 = args[1];
            $S0.$encode($S0.$encode($S0.$encode($S0.$encode($S0.$encode(output, "arg0 = "), a0), " arg1 = "), a1), "\n");
        }
    }

}