/*
 * Date: November 2013
 * Author: Christian Schilling
 * 
 * The floating point type is not supported.
 * Also, the type is called 'FLOAT' instead of 'DOUBLE'.
 */
int main() {
    double arr[1];
    arr[0] = 0.0;
    
    return 0;
}