Compiles and elaborates, does not pass asm tests