<?php
	declare (ticks = 3) { }
	declare (ticks = "3") { }
	declare (ticks = "asd") { }
	declare (ticks = 3.345) { }
?>