Yes, those are lost causes if they can't ride the as-if optimization rule. But if the assembly language modules just have to return same outputs for same inputs...