DEBUG may be undefined