type P = proc()
end.