let
get_fun =
function
a, b, c
->
a