/tests/patmat/aladdin1055/