I've never heard it referred to as a bum punch, but it did make me laugh

it's called double rounder corner punch

jackie |