Put tracing and invariant checks in PP blocks.
Put tracing and invariant checks in PP blocks.

modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish,modeswitch/barrelfish