// 5, 72, 5, 72
package p;
class A {
	void m() {
		@Unavailable(/*should implement*/"s")double/*64*/ a= 0, b= 1, c= 2, d= 3;
	}
}