/*
 * cafe or tea?
 */
void drink() {
	printf("cafe: %d\n", 0xcafebeef);
}