clarification needed for accessing static fields in a class via native code

In clause 18.1 of the latest language specification, the last paragraph states this

"Static variables in the class are available in the external code."

One thing needs to be clarified is the "how to" part. In native Java code, directly referring to the static field name works. However for C++ native code, a name mangling is needed for access the static variable. It may also be helpful to point out the C++ native code may not be portable due to the name mangling.

An example helps

"
import x10.compiler.Native;

public class t1
{
public static PI : double = 3.141592653589;

@Native ("c++", "cos((#1) * t1::FMGL(PI))")
@Native ("java", "java.lang.Math.cos((#1) * PI)")
static def test1(d:double) : double

public static def main (args:Array[String](1)) : void
{
val np:int = Place.MAX_PLACES;
val delta:double = 1.0/np;

ateach (p in Dist.makeUnique())

}
}
"