Bootstrap: port two examples