Here is the code from book 《compiling with continuations》,page 16(I rewrite it f#):
let (x,y)=let g(a,b:int,c)=a+c in (g,g(1,2,3))
s