It's here to simplify debugging. E.g. jvm values print their ids in toString.