shrink

 def shrink(): Unit = {

    while (body.length < 2) body.remove(2, body.length - 2)
}