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