Fix a test, add ASL headers