## * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
## * This file is part of SableJIT.                            *
## * See the file "LICENSE.JIT" for Copyright information and  *
## * the terms and conditions for copying, distribution and    *
## * modification of SableJIT.                                 *
## * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *