[source,php]
----
function divide($numerator, $denominator) {
  return $numerator / $denominator;              // FIXME denominator value might be  0
}
----