function db() {
  static $db = null;
  if (null === $db)
    $db = new PDO(...);
  return $db;
}