OSDN Git Service

jump_label: Use more consistent naming