#include <scc_pe_builder.h>
#include <sccf_builder.h>

void sccf2pe(scc_pe_builder_t *builder, const sccf_t *sccf);