PHP

function divide($numerator, $denominator) {
  return $numerator / $denominator;              // FIXME denominator value might be  0
}