format code in ex03