define a(*t[], t[]) {}
