static void
atLine(Object object, Object clazz, int line, Object[] args, String[] argNames, Object[] vars, String[] varNames)