[msan] Reformat one source file.