Artifact 6001c37bda724d6cd9767c0635c7d0b6996b3fe8:


Double f(float,Double,double):(0.1,{0.2},0.3)->{0.6}
Double f(float,Double,double):(0.1,{1.18576e-322},0.3)->{0.4}
X f(B,char,double,B):({0.1,{1,2,3}},'',0.3,{0.2,{5,4,3}})->{"return val",''}
X f(B,char,double,B):({1.18576e-322,{1,2,3}},'',0.3,{-nan0xffffffff,{5,4,3}})