Started thinking about verifying the IL2 translation