a97c75b7ea
* Fix some misunderstandings about the return value of resource_int_value(). * Make it build on alpha (doesn't work yet...)