char __decimalpoint__data = '.';
char * __decimalpoint = &__decimalpoint__data;