pseudo-code

The pseudo-code, taken directly from .bpl file is included.