Shall return NULL when no model is loaded and has to return Int_Type[0] explicitely when no parameter hits bounds.