partial_factor<
  fa16b {partial}
>
