<?php
interface I {
  function f($a = null);
}