//  Assumes defined
//  
//    button_plunger
//    button_wall_with_hole
//    
//    button_plunger_HX, button_plunger_HY, button_plunger_HZ
//    button_hole_frame_HX, button_hole_frame_HY, button_hole_frame_HZ
//    
//    button_max_disp_Y, button_min_disp_Y = range of Y displacement
//    
//  Defines
//  
//    button_in
//    button_out
//    button_missing

#declare button_out =
  union{
    object{ button_plunger
      translate < 0, button_max_disp_Y, 0 >
    }
    object{ button_wall_hole_frame }
  }

#declare button_in =
  union{
    object{ button_plunger
      translate < 0, button_min_disp_Y, 0 >
    }
    object{ button_wall_hole_frame }
  }

#declare button_missing =
  object{ button_wall_hole_frame }