SafeRecomp01.stdout 0 Bytes