static void ensurePSFormats(mps_fmt_t *fixedOut, mps_fmt_t *typedOut,
mps_arena_t arena)
{
mps_res_t eres;
if (psFixedFormat == NULL) {
eres = mps_fmt_create_fixed(&psFixedFormat, arena, ps_fmt_fixed());
verifyMPS(eres);
eres = mps_fmt_create_A(&psTypedFormat, arena, ps_fmt_typed());
verifyMPS(eres);
}
*fixedOut = psFixedFormat;
*typedOut = psTypedFormat;
}
static void ensurePSFormat(mps_fmt_t *fmtOut, mps_arena_t arena)
{
mps_res_t eres;
if (psFormat == NULL) {
eres = mps_fmt_create_A(&psFormat, arena, ps_fmt_A());
verifyMPS(eres);
}
*fmtOut = psFormat;
}