vb@0: when {
vb@0:     a;
vb@0: }