DbC skeleton check-in