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