pencil sharpeners

pencil sharpeners

Device for sharpening a pencil by rotating it against a cutting edge.
[profiler]
Memory usage: real: 25952256, emalloc: 24770232
Code ProfilerTimeCntEmallocRealMem