OUTER PRE:  123 abc
OUTER PRE:  123 abc
INNER: 456 defg
INNER: 456 defg
OUTER POST: 123 abc
OUTER POST: 123 abc
