Including headers with piecemeal prefix.
Adding global location to export additional prover widths.