litmus: more simple typing of C tests, should do the same for ASM tests...