format and add pragma