malloc(n) returns a block with size exactly = n