13.4.2 ASAN