from option
definfo + init pattern match