NXP-12040: format