cases for let
better output format
auto generated cases