rewrite + detect missing return
0.1.3