This patch looks small enough to put inline after `__END__`.