Add comment-free version used for EPTCS submission.