Initial support for return_value_ptr in fcall