push all /res and /assert