Thread:Andreas.martonosy/@comment-32172398-20151004104845/@comment-32172398-20151004111623