There is something going bad with the type of return values, but some progress has been made