# Check for correct initialization
	fun is_init: Bool `{ return (self != NULL); `}