new names for global labels because Alex-Daniel wanted so -_-