[sr-dev] git:master:b846c216: Merge pull request #335 from doublec/tsilo_pointer_comparison