DEFINITION MODULE P4CodeBlk;
FROM MCBase IMPORT Idptr;
EXPORT QUALIFIED 
    GenBlockEntry, TerminateBlock, GenBlockReturn,
    CodeBody, GenCodeBlock;

  PROCEDURE GenBlockEntry;
    (* fix proceduretable and generate entry sequence *)

  PROCEDURE GenBlockReturn;
    (* generate a return from a block *)

  PROCEDURE TerminateBlock;
    (* generate exit sequence and 
       terminates handling of the current block*)

  PROCEDURE CodeBody(fnp: Idptr);
    (* inline body of CODE procedure *)

  PROCEDURE GenCodeBlock;
    (* complete non-inline CODE procedure *)

END P4CodeBlk.
