tsan: add the FIXME