#pragma option state-directory "STATEDIR"