add constant BTOPUSRSTACK == btop(USRSTACK) as optimizer cannot fold it