What if people specify a custom alignment that's more aggressive than what malloc returns? malloc guarantees for any built-in C type, but people can specify custom alignments on their types. One example usecase of this is getting memory that's aligned on a page boundary.