[function-001.html]
  [@navigation within @function]
    expected: FAIL