\documentclass{entcs}
\input body