- Date format in Changelog - No code generation in the original project - \valid_read(&(t.j) + (1..3)) is valid - addresses -> pointers