define-simple-class fields with ConstantValue attribute?

[Jamison Hope <jhope@alum.mit.edu>]

Is there a field initialization syntax for define-simple-class which
will cause the field to have a ConstantValue attribute set?

For example, if Test.java contains:

public class Test {
  public static final int X = 3;
}

then Test.class will have:

Field name: X public static final Signature: int
Attribute "ConstantValue", length:2, value: Integer 3

However, the equivalent (I believe) Kawa:

(define-simple-class Test () (X ::int allocation: 'static access:
'final init-form: 3))

produces:

Field name: X public static final Signature: int

without the ConstantValue attribute, and instead fills in the value
via code in clinit:

Method name:"<clinit>" public static Signature: ()void
Attribute "Code", length:29, max_stack:1, max_locals:0, code_length:5
  0: iconst_3
  1: putstatic <Field Test.X int>
  4: return

I also tried init: and init-value: and they didn't make a difference.

Thanks,

-- 
Jamison Hope