user.exe16: Use the ARRAY_SIZE() macro.