[rgawdzik]

Any idea on the size of the employee option pool given 22.3% is owned by "other shareholders", with 22,263 employees and 3000+ engineers?