act  r_input                    : Button
     s_output                   : Control
     s_button,r_button,c_button : Button
     s_sensor,r_sensor,c_sensor : Sensor
     sense

comm s_button|r_button=c_button
     s_sensor|r_sensor=c_sensor

proc %Console
     CNone =
       r_input(upp).s_button(upp).CUp
     + r_input(downp).s_button(downp).CDown

     CUp =
       r_sensor(none).r_input(upr).s_button(upr).r_sensor(none).CNone
     + r_sensor(top).CTop

     CTop =
       r_input(downp).s_button(downp).CDown

     CDown =
       r_sensor(none).r_input(downr).s_button(downr).r_sensor(none).CNone
     + r_sensor(bot).CBot

     CBot =
       r_input(upp).s_button(upp).CUp

     %Motor
     M =
       r_button(upp).s_output(mup).(sense.s_output(vmoff).s_sensor(top) + sense.s_sensor(none)).M
     + r_button(downp).s_output(mdown).(sense.s_output(vmoff).s_sensor(bot) + sense.s_sensor(none)).M
     + r_button(upr).s_output(vmoff).s_sensor(none).M
     + r_button(downr).s_output(vmoff).s_sensor(none).M

init hide({sense,sense,c_button,c_sensor}, encap({s_button,r_button,s_sensor,r_sensor}, CNone || M))