<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Hi all,<br>
    <br>
    Can I have a couple of quick reviews of this trivial change?<br>
    <br>
    Thanks.<br>
    Tao<br>
    <br>
    webrev:<br>
    <a class="moz-txt-link-freetext" href="http://cr.openjdk.java.net/~tamao/8015007/webrev.00/">http://cr.openjdk.java.net/~tamao/8015007/webrev.00/</a><br>
    <br>
    changeset:<br>
    <meta charset="utf-8">
    1. print format: %d -> SIZE_FORMAT for type of size_t (variable
    total_reserved) <br>
    2. *minor: clean up error message call in check_alignment<br>
  </body>
</html>