checked code convention