Several variable names have been reserved for constant names and for special variables.
spec_name := _nothing | _self | _true | _false