extern {
a!(true);
}