// TODO do we want to disallow this at all?
error Error(uint);
// ----