Files for antlr4 and book