Initial with statement implementation