function NonEmptyFunction extends EmptyFunction; output Integer x; input Integer a; output Integer y; input Integer b; end NonEmptyFunction;