CIF_SUCCESS
cif[out_args] = p1275_uint2cell(CIF_SUCCESS);
cif[out_args+0] = p1275_uint2cell(CIF_SUCCESS);
cif[out_args+0] = p1275_uint2cell((uint_t)CIF_SUCCESS);
cif[out_args] = p1275_uint2cell(CIF_SUCCESS);
cif[out_args+0] = p1275_uint2cell(CIF_SUCCESS);
cif[out_args+0] = p1275_uint2cell((uint_t)CIF_SUCCESS);