varargs compose, file IO examples, push etc. and string->list