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