bach well tempered clavier s Major prelude @source(spec/piano.spec)