let stringify_list stmtlist = String.concat "\n" stmtlist