Move Code_Target_Nat to Tests.