void foo() {
    (: $1000 :);
}