1<?php
2if ($neverHappens) {
3    print '*';
4}
5