// Compiler test: mapping bits to bits code gen Foo -> seq { count bytes, count Bar ||2 bytes|| -> 2 bytes }