fun mf = ( x : int , f: ((z:int)-> int)) -> int
{

return f(x);
};
