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