test3 for a.java