JavaCint/Extensions