Demo of 42.type.