Thread:Andreas.martonosy/@comment-32172398-20151004104845/@comment-28874252-20151004111927