Simplified preconditions by making $NULL $static.