TmRealsy playing A Hat in Time