Small test programme for Davix.