pushi8 now checks for @