a :: proc(): int {
    return 0;
}