function foo(
    /* HHAST_FIXME[UnusedParameter] */
    string $s
) {
    /* HHAST_FIXME[UnusedVariable] */
    $a = "";
    $b = "";
    echo $b;
}