Add smash spec coverage