Bug to be analysed in pda