NXP-8253: format