Cast arguments to the correct type to avoid them being decoded incorrectly by the varargs interface.
There's no such type as mps_count_t, so don't refer to it in the documentation!
job003739 is fixed, so MMQA test function/51.c passes.