# Footer for mini-header.

.global end
end: