For the sake of GO data race detector