Do not include here values that are not implemented yet (especially if they trigger `fail!()`.) Keep them in a TODO comment instead.