Esto puede evitarse mediante un control en tiempo de ejecución a través de la precondición valid_arguments de la llamada (call).