main.c: application contains at least one write instruction