fun testing, asm to check what types are used to check whether
submissions would compile