***** decl1 
1.0
2.0
***** decl2 
2.0
1.0
3.0
2.0
***** decl3 
1.0
3.0
***** decl4 
7.0
12.0
111.0
***** decl5 
7.0
12.0
111.0
