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