5.4.2 Value Types