reindenting bmpdct.ml