Rename nocheck to extern