void execute_vs() {
    uint jmp_to = 0u;
    uint flow_stack[20];
    uint flow_stack_top = 0u;
    while (true) {
        switch (jmp_to) {
        case 0x0u: {
            // 1: LD_A (0xefd87f800807ff01)
            gpr_1_vs = input_attr_0_vs.x;
            // 2: HMUL2_R (0x5d0d000030170100)
            precise float tmp1 = fromHalf2((vec2(toHalf2(gpr_1_vs)[0]) * vec2(toHalf2(gpr_1_vs)[1])));
            gpr_0_vs = utof((ftou(gpr_0_vs) & 0xffff0000) | (ftou(tmp1) & 0x0000ffff));
            // 3: HADD2_R (0x5d17000030170100)
            precise float tmp2 = fromHalf2((vec2(toHalf2(gpr_1_vs)[0]) + vec2(toHalf2(gpr_1_vs)[1])));
            gpr_0_vs = utof((ftou(gpr_0_vs) & 0x0000ffff) | (ftou(tmp2) & 0xffff0000));
            // 5: ST_A (0xeff07f800807ff00)
            output_attr_0_vs.x = gpr_0_vs;
            // 6: EXIT (0xe30000000007000f)
            return;
        }
        default: return;
        }
    }
}