-void gras_datadesc_cb_push_ulint_mult(gras_datadesc_type_t ignored, gras_cbps_t vars, void *data) {
- unsigned long int i = *(unsigned long int*)data;
- i *= gras_cbps_i_pop(vars);
- gras_cbps_i_push(vars, (int) i);
+void gras_datadesc_cb_push_ulint_mult(gras_datadesc_type_t ignored,
+ gras_cbps_t vars, void *data)
+{
+ unsigned long int old = *(unsigned long int *) data;
+ unsigned long int new = gras_cbps_i_pop(vars);
+
+ XBT_DEBUG("push %ld x %ld as a size", old, new);
+ gras_cbps_i_push(vars, (int) (old * new));