SOL_with-statement