<body> = <}-token ws>
