/* Coming in, boxed is the number of boxed words requested.
* Converting it to a fixnum makes it measured in bytes. It's also
* rounded up to double word along the way. */
/* Coming in, boxed is the number of boxed words requested.
* Converting it to a fixnum makes it measured in bytes. It's also
* rounded up to double word along the way. */