void main () {
    with (10);
}