
ProcInfo ist Hilfsstruktur mit Informationen ber aktuell im Interpreter ausgefhrte Funktion
Aus ProcInfo-Strukturen wird der Callstack fr Debugging und Exception-Handling gebildet
   ProcInfo selbst besteht aus BppErrorHandler-Strukturen
       BppErrorHandler speichert beim Eintritt in einen try-Block den SP und PC fr den Eintritt in den zugehrigen catch-Block
	   
enterProc(BppVector byteCode, int nargs, ValPtr BP, ValPtr FP)
  erzeuge ProcInfo(Interpreter,byteCode,nargs,BP,FP)
  fge als neues oberstes Element in _procStack des Interpreters ein

bool call(int nargs, BppVector byteCode)

defargs = byteCode[IDX_DEFAULTARGS] // definierte formale Parameter mit Standardwerten
for (i=0..min(size(defargs),nargs)) 
   prfe Datentyp des Arguments, falls statisch typisiert, versuche ggf. Typkonvertierung
      Fehler bei Inkompatibilitt
while (nargs < size(defargs)) // Standardargumente ergnzen
   wenn defargs[nargs] ungltig (kein Standardwert) --> Fehler
   [++SP] = defargs[nargs++]
   
BP := SP-nargs  // BP seigt vor erstes Argument (auf Objekt bei Methoden)
FP := SP // FP zeigt vor erste lokale Variable   - FP[1] reserviert fr Ausnahme
codebuf := byteCode[IDX_CODE] // Codepuffer
PC := 0 // Zeiger (Index) in codebuf

enterProc(byteCode,BP,FP)
ProcHelper procHelper(this)  // sorgt fr Abbau des ProcStacks beim Verlassen der Funktion

Schleife bis return, Ende des Bytecodes oder Abbruch
   wenn Ausnahme signalisiert
      falls catch-Handler
	     PC = ErrHandler.PC
	     hole Handler von Stack
         lsche Signal
		 continue // Fortsetzen mit catch-Abschnitt
	  sonst
         Ausnahme in aufrufende Funktion kopieren (falls es eine gibt)
         return false; // Rcksprung mit Signalisierung der Ausnahme beim Aufrufer		 
	
	OpcodeByte ocb = codebuf[PC++]  // Byte aud Puffer, PC inkrementieren
	Opcode oc = ocb.codebuf
	wenn oc == OP_NOP && ocb.dataType != 0 // erweiterter Befehl
	   tmp = ocb;
	   ocb = codebuf[PC++] 
	   oc = ocb.code | tmp
	DWord opdata = 0
    wenn ocb.dataType != 0
      opdata := daten ais codebuf
      PC entsprechend Datengre erhhen	  
	switch
        Behandle oc	
		  (erster Befehl normalerweise TSPACE zum Reservieren des lokalen Variablenbereichs)
ende Schleife
return true