[ FINAL ] [ INSTANTIABLE ] CONSTRUCTOR FUNCTION datatype [ [ SELF IN OUT datatype, ] parameter datatype [, parameter datatype ]... ] RETURN SELF AS RESULT { IS | AS } { [ declare_section ] body | call_spec }