Sound tests for @aerr