..
function spec for subprogram_specification
整理: subprogram_body
comments