double getPstateSpeed(int pstate_index);
int pstatesCount() const;
void setPstate(int pstate_index);
int pstate();
xbt_dict_t mountedStoragesAsDict(); // HACK
double getPstateSpeed(int pstate_index);
int pstatesCount() const;
void setPstate(int pstate_index);
int pstate();
xbt_dict_t mountedStoragesAsDict(); // HACK