//	button_task.h
//
//	--- public domain, no warranty.

IMPORT	W	Delay;
IMPORT	ER	button_task_init(W start);