begin
A(N0 : true)
end