Same problem with pragma4.test
...
pragma4-1.12.1...
! pragma4-1.12.1 expected: [1]
! pragma4-1.12.1 got: [0]
...
Same problem with pragma4.test
...
pragma4-1.12.1...
! pragma4-1.12.1 expected: [1]
! pragma4-1.12.1 got: [0]
...