read_image (Image, 'fabrik')
dev_display (Image)
dev_set_color ('red')
threshold (Image, Region, 128, 255)
* # printf(" This is comment line ");
dev_display (Region)