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