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