main local identifiers: a = 1 global identifiers: main = procedure main x = &null y = &null display = function display