let v0 : char = 'x' let v1 : bool = v0 = ' ' let v3 : bool = if v1 then true else let v2 : bool = v0 = '/' v2 if v3 then 1 else 0