user definable execution keys

build and run keys i guess. (you know they are fixed in SED, f5 and f6)


3333333333