First commit of the source from codebender.cc