public override Object funcall4(Object a1, Object a2, Object a3, Object a4) { return(proc.funcall4(a1, a2, a3, a4)); }