5 void plat_center_touch(entity this, entity toucher);
6 void plat_outside_touch(entity this, entity toucher);
7 void plat_trigger_use(entity this, entity actor, entity trigger);
8 void plat_go_up(entity this);
9 void plat_go_down(entity this);
10 void plat_crush(entity this, entity blocker);
11 const float PLAT_LOW_TRIGGER = 1;