A = <foo> float *init* (@ (float) 23.45 @)
    <i> int *EOF*.

*public* B = .
*final*  C = .

D = <a1> *static* A
    <a2> *final*  A *init* (@ new A(1,2) @)
    <a3> *read-only* A
    <a4> *private* A
    <a5> *static* *final* A *init* (@ new A(1,2) @)
    <a6> *static* *read-only* A
    <a7> *static* *private* A

    <a8> *final* *read-only* A *init* (@ new A(1,2) @)
    <a9> *final* *private* A *init* (@ new A(1,2) @)
    <a10> *read-only* *private* A

    <a11> *static* *final* *read-only* A  *init* (@ new A(1,2) @)
    <a12> *static* *read-only* *private* A  *init* (@ new A(1,2) @)
    <a13> *final* *read-only* *private* A  *init* (@ new A(1,2) @)

    <a14> *static* *final* *read-only* *private* A  *init* (@ new A(1,2) @)
    .

Main = .