verified dynamic construction test