restriction imposed upon programs by the implementation