sem [ fbpa bpa ] {
    nPC2 = PC + disp19?sext(32)<<2;
    if(a) annul();
    schedule(alu);
};