CIF_MIN_SIZE
out_args = CIF_MIN_SIZE + p1275_cell2uint(cif[CIF_NUMBER_IN_ARGS]);
out_args = CIF_MIN_SIZE + in_args;
buffer = (uchar_t *)(uintptr_t)p1275_cell2uint(cif[CIF_MIN_SIZE+0]);
buflen = p1275_cell2uint(cif[CIF_MIN_SIZE+1]);
out_args = CIF_MIN_SIZE + p1275_cell2uint(cif[CIF_NUMBER_IN_ARGS]);
out_args = CIF_MIN_SIZE + in_args;
buffer = (uchar_t *)(uintptr_t)p1275_cell2uint(cif[CIF_MIN_SIZE+0]);
buflen = p1275_cell2uint(cif[CIF_MIN_SIZE+1]);