settings: define more settings; define U64 type