Deze duikstek kennen we nietdebuginfo tubsan