JUMP_LABEL_STATIC_KEY_CONSTRAINT
: : JUMP_LABEL_STATIC_KEY_CONSTRAINT (key), "i" (branch) : : label);