C return type is fine