add sizes in message of abort()