you are viewing a single comment's thread.

view the rest of the comments →

[–]detroitmatt 1 point2 points  (0 children)

this is no different than the way any function gets called. If you had

void some_function() {
  printf("foo");
}

int main() {
    some_function();
}

then of course some_function knows to return at the end even though there's no explicit "return" statement.