do we rely on these integers? or can we just use string values and remove the mapping function below?