Trivial evaluator, main to read from args