# --
sensor(integer num_detected)
{
$0
}