test foo() { not(False) }