First example case

(Scall is not working)