procedure P(a, b, c) {
    a
    b
    c
}
P(1)