new_checked function for the var module