existence of vivado implies the existence of vitrado and silicado
@whitequark vivadon't
@joe @whitequark make it in Turing Complete instead.