non-generated stuff. i hope this is all of it