Conditional termination of loops over heap-allocated data | Publicación