public void readExternal(java.io.ObjectInput in) throws java.io.IOException
java.io.IOException
public void writeExternal(java.io.ObjectOutput out) throws java.io.IOException
CallFrame k
Pair m
Procedure e
Procedure f
SchemeException schemeException
SchemeException e
java.lang.String var