Ожидаемая ошибка спецификаторов декларации?

Я работаю в АОП, используя AspeCt в виртуальном окне Ubuntu. Мой .acc код:

before (): execution(int main(void)) {
    printf("Before test successful!\n");
}
after (): execution(int main(void)) {
    printf("world!\n");
}
before():
call(foo) {

printf("Before Foo!\n");

}

Мой .mc код:

void foo(void) {

printf("foo\n");

}

int main() {

printf("Hello everyone ");
foo();
return 0;

}

И сообщения об ошибках:

1:13: error: expected declaration specifiers before ':' token
4:1: error : expected declaration specifiers before 'after'
7:1: error: expected declaration specifiers before 'before'
12:1 expected '{' at end of input

Помоги пожалуйста? Я не понимаю, как это исправить! Спасибо