fixed outdated comment
removing __W_AST_size_ symbols
indentation fix