/*@api*/
A :: proc() {
}