Use int label_addr instead of char* label.