higher bound for the

stack frame width of stack frame of

function function fun✕