Documenting WAT