On a 64-bit system with 4-byte integers, what is the output of the following C program?#include void f(int a[10]) { printf("%d ", (int)size…

On a 64-bit system with 4-byte integers, what is the output of the following C program?

#include <stdio.h>
void f(int a[10]) { printf("%d ", (int)sizeof(a)); }
int main() {
    int b[10];
    f(b);
    printf("%d", (int)sizeof(b));
    return 0;
}