@val is it some generated rust