several examples are ported