@LudwigOrtmann add a `if DEBUG_LIFO` around this, when we can merge it