introduce symbolics, sysout-header-text