Which of the following is a correct EBNF description of a Java/C for loop statement?

A) for (init; condition; update) statement
B) for (condition; update; statement) init
C) for (update; statement; init) condition
D) for (statement; init; condition) update