int main() {
  bu_utoggles=bu_utoggles | 4096;
}