Remove x86_64-specific code
Inline take_object()
Rename return_boolean -> return_BOOL
Update TODO