import helper

program()
begin
  assert(Shared = 42)
return 0u8

end.