2008-05-18-FoldIntToPtr.ll 444 Bytes