D::=
2::=
u::=
@::=
=
*::=
::=
N::=
=