+
+ if (iptr->val.a) {
+ /* check if this is a constant string */
+
+ if (iptr->op1 == 0) {
+ printf(", String = \"");
+ utf_display(javastring_toutf(iptr->val.a, false));
+ printf("\"");
+
+ } else {
+ /* it is a BUILTIN argument */
+
+ printf(", Class = \"");
+
+ /* is it resolved? */
+
+ if (iptr[1].target == NULL) {
+ builtintable_entry *bte = iptr[1].val.a;
+
+ /* NEW gets a classinfo* as argument */
+
+ if (bte->fp == BUILTIN_new) {
+ utf_display(((classinfo *) iptr->val.a)->name);
+
+ } else {
+ utf_display(((vftbl_t *) iptr->val.a)->class->name);
+ }
+
+ } else {
+ /* iptr->target is a constant_classref */
+
+ utf_display(((constant_classref *) iptr->val.a)->name);
+ }
+ printf("\"");
+ }
+ }