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