add builtin sizeof(). fixes #5406